🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·1d
📏Linear Logic
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
How To Solve Every Programming Problem
blog.codeminer42.com·9h
📐Interval Arithmetic
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Transaction Healing: Scaling Optimistic Concurrency Control on Multicores
muratbuffalo.blogspot.com·16h·
Discuss: www.blogger.com
⚡Hardware Transactional Memory
Three challenges in machine-based reasoning
amazon.science·23h·
Discuss: Hacker News
🧮Theorem Proving
An easy-to-implement, arena-friendly hash map
nullprogram.com·7h·
Discuss: Lobsters
🔐Hash Functions
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
How I Won the “Mostly AI” Synthetic Data Challenge
towardsdatascience.com·3h
🌊Streaming Algorithms
DSPy Simba Explained
blog.mariusvach.com·1d·
Discuss: Hacker News
🧮Z3 Solver
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Running GPT-OSS-120B at 500 tokens per second on Nvidia GPUs
baseten.co·1h·
Discuss: Hacker News
🎯Emulator Accuracy
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
My blog on zero-knowledge cryptography
kaw101010.github.io·3h·
Discuss: Hacker News
🔐Quantum Security
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·1d·
Discuss: Hacker News
📼Tape Combinators
I Let AI Write My Code. It Led to a Two-Day Nightmare.
dev.to·17h·
Discuss: DEV
📏Code Metrics
Vibe Coding the MIT Course Catalog
stackdiver.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Automating Boundary Filling in Cubical Type Theories
arxiv.org·3d
🔶Cubical Type Theory